//package org.easyexcel.MydoMian;
//
//import org.openjdk.jcstress.annotations.Actor;
//import org.openjdk.jcstress.annotations.Expect;
//import org.openjdk.jcstress.annotations.Outcome;
//import org.openjdk.jcstress.annotations.State;
//import org.openjdk.jcstress.infra.results.I_Result;
//
///**
// * @author DPF
// */
//@org.openjdk.jcstress.annotations.JCStressTest
//@Outcome(id = {"0"},expect = Expect.ACCEPTABLE_INTERESTING , desc = "wrong result")
//@Outcome(id = {"-1","5"},expect = Expect.ACCEPTABLE,desc = "normal result")
//@State
//public class JCStressTest {
//    boolean flag;
//    private int x;
//
//    public JCStressTest(){};
//    @Actor
//    public void actor1(I_Result r){
//        if(flag){
//            r.r1 = x;
//        }else{
//            r.r1 = -1;
//        }
//    }
//    @Actor
//    public void actor2(I_Result r){
//        this.x = 5;
//        flag = true;
//    }
//}
//
